Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Internships
-
Juraj Kolc̆ák from Masaryk University, Brno, Czech Republic, on Efficient Analysis of Boolean Networks under Parameter Uncertainty, Spring/summer of 2016 (Master's thesis research); director: Stefan Haar
-
Clara Scherbaum from Aachen University, Germany, on Computing Cut Sets for Petri Nets, Spring 2016, LSV (ENS Cachan),
Visits to International Teams
Research Stays Abroad
Paul Gastin is visiting IIT Bombay and Chennay Mathematical Institute, India, from October 10, 2016 to March 10, 2017.